Sur un problème de M. Hahn

Sur la collecte des ordures ménagères : le problème de sectorisation

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini

In this paper, we deal with the satisfiability problem for Systems of constraints over hereditarily finite sets This problem is central for integrating sets in programming languages, and particularly for constraint logic programming languages The approach we propose hère is based on reducing Systems of set constraints into Systems ofhnear integer equalities and inequahties (with bounded domain)...

Un ordonnancement dynamique de tâches stochastiques sur un seul processeur

We show that a particular dynamic priority given to jobs in a multitasks operating system of computers is a deteriorating jobs or a delaying jobs scheduling. Under some assumptions we also show that it is an index rule. To do this, we present the tool of bandit processes to solve stochastic scheduling problems on a single machine. Résumé. Nous montrons qu’une priorité dynamique particulière all...

Un schéma d’interpolation rationnel sur un quadrilatère de classe C2

Let Q be a partition of a polygonal domain of the plan into convexe quadrilatéral. Given a regular function ƒ , we construct a function Hf G C(H), interpolating position values and derivatives of ƒ up of order 2 at vertices of Q. On each quadrilatéral Q G Q, Tlf\Q is a flnite element obtained from a polynomial scheme of FVS type by adding some rational functions. Résumé. Soit Q une partition en...

Un environnement de conception de systèmes distribués basé sur UML

This paper introduces a new environment for developing distributed systems. It is based on the TURTLE UML profile. Analysis and design phases, described in previous papers, have been extended with an additional deployment phase. In this new step, TURTLE components are deployed over hardware execution nodes, and nodes are connected together throughout links. TURTLE deployment diagrams are given ...